EXTRA_DIST=12345.html 12345.txt dummyfile.bla phpinfo.php
